xen/xsm: flask: Fix compilation when CONFIG_COMPAT=n
authorJulien Grall <julien.grall@linaro.org>
Mon, 17 Mar 2014 14:05:57 +0000 (14:05 +0000)
committerIan Campbell <ian.campbell@citrix.com>
Fri, 21 Mar 2014 11:10:13 +0000 (11:10 +0000)
commit8e80eb95ec4e20e62f2ad7ab645b7c71191afd64
treedf434044e4b5feb90004cedd55a2fe9fa3374cea
parentf30dc3719d203560b385414c0064dbe5ba0a9147
xen/xsm: flask: Fix compilation when CONFIG_COMPAT=n

The commit f7d29f7b "flask: add compat mode guest support" introduces
build breakage on ARM when XSM is enabled. It's because ARM doesn't use
compat mode.

flask_op.c:794:34: fatal error: compat/event_channel.h: No such file or directory
 #include <compat/event_channel.h>

Signed-off-by: Julien Grall <julien.grall@linaro.org>
Acked-by: Daniel De Graaf <dgdegra@tycho.nsa.gov>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
xen/xsm/flask/flask_op.c